language semantics的例句大全

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。

互联网摘选

The DLR uses expression trees to represent language semantics.

DLR使用表达式树来表示语言语义.

网络文摘精选

Multiple instance ( MI) is an important workflow pattern, which induces many problems associated with the workflow language semantics and the system implementation, and cannot be implemented directly and effectively in many cases.

多实例MI是一种重要的工作流模式，由于它引入了许多与工作流语言的语义和系统实现相关的问题，在许多情况下难以被直接有效地实现。

互联网摘选

A Review of Modern Chinese Language Semantics

现代汉语语义学研究述要

互联网摘选

In cognitive linguistics, the conceptual system that emerges from everyday human experience has been shown to be the basis for natural language semantics.

认知语言学认为语义结构等同于概念结构，而概念结构源于人类与周围世界的身体接触。

互联网摘选

Note the strength of the matching here: we are not merely dealing with wildcards, but language semantics.

请注意这里匹配的优势：我们不仅仅处理通配符，而且处理语言语义。

互联网摘选

Object description language and its denotational semantics

对象描述语言及其指称描述

互联网摘选

With the help of the establishment of the SCOM operation rules based on semantics, the transformation between ontology language and Horn statement, as well as the SCOM operation procedures based on Prolog, the operation of SCOM based on logical reasoning came to fruition.

通过制定基于语义的SCOM操作规则，本体语言同霍恩语句的转换，以及基于Prolog的SCOM操作流程，实现基于逻辑推理的SCOM操作。

互联网

Diamant introduces session management, credential management, environment evaluation and authorization engine with declarative semantics into authorization management architecture, using policy language to define inter-domain security policies.

Diamant将会话管理、凭证管理、环境评估和具有说明性语义的授权引擎等核心机制引入授权体系结构中，基于策略语言描述域间安全策略。

互联网摘选

The present paper involves the FFP-ATS semantics of value evaluation of ML core language.

本文涉及ML核心语言的值的计算这一部分的FFP-ATS语义学。

互联网摘选

A function/ logic language implementation technique with reduction semantics

函数／逻辑语言归约实现技术

互联网摘选

Algebraic Semantics of Modeling Language AML

面向对象建模语言AML的代数语义

互联网摘选

Key Concepts of Describing Abstract Semantics Facing the Object Language

描述面向对象语言抽象语义的几个关键概念

互联网摘选

The general semantics is an important school in American Language philosophy, which aroused some comments, mainly negative, in China.

普通语义学是美国语言哲学领域中的一个重要派别，我国学术界对此也有一些粗浅的评介，但大都持否定的态度。

互联网摘选

Finally, unifies the Zou Shaohua Frequency Effect theory and the language used in the field of Shen Jiaxuan asymmetries and marking theory, explanation "bubi" sentence semantics tendentious reason, and discusses the modern Chinese sentence type thoroughly in the semantic distributed rule.

最后，结合邹韶华的语用频率效应理论和沈家煊的不对称与标记论，阐释不比句语义倾向性的深层原因，深入探讨现代汉语句式在语义上的分布规律。

互联网摘选

To study the relationship and the development rules of these polysemantic categories' cognitive semantics is very important to the lexical arrangement in editing Chinese teaching materials and the development of Teaching Chinese as A Foreign Language.

研究这些多义范畴各个义项间的联系及其认知语义发展规律，对对外汉语教材的编排以及对外汉语教学的发展具有极其重要的意义。

互联网摘选

C ++ has been a copy-semantics language since its inception.

自C++诞生以来,它一直是拷贝语义的语言.

互联网摘选

ADLs ( Architecture Description Language) are formal semantics-based languages supporting for describing and analyzing software architecture. The research on ADLs has become a hotspot of software engineering.

软件体系结构描述语言ADL（architecture description language，ADL）具有严格的形式化语义基础，为软件体系结构的表示与分析提供支持，已成为软件工程研究领域的热点。

互联网

Barwise's criticisms on the extensional model theory semantics and the possible world semantics, not only reveals the shortages of logic semantics, but also helps us to understand the logic semantics problems of natural language more profoundly.

巴威斯等对外延模型论语义学和可能世界语义学的批判，揭示了既有逻辑语义研究的不足，促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。

互联网摘选

Denotational semantics of an object-oriented distributed real-time language

一个面向对象的实时分布式语言的指称语义

互联网摘选